6.5 足し算が順序を保つことを示す